A Causal Logic of Events in Formalized Computational Type Theory
نویسندگان
چکیده
We provide a logic for distributed computing that has the explanatory and technical power of constructive logics of computation. In particular, we establish a proof technology that supports correct-by-construction programming based on the notion that concurrent processes can be extracted from proofs that specifications are achievable.
منابع مشابه
Virtual Evidence: A Constructive Semantics for Classical Logics
This article presents a computational semantics for classical logic using constructive type theory. Such semantics seems prima facie impossible because classical logic allows the Law of Excluded Middle (LEM), not accepted in constructive logic since it does not have computational meaning. However, the apparently oracular powers expressed in the LEM, that for any proposition P either it or its n...
متن کاملCorrelation of complex evidences
The classical statistical correlation is an efficient technique for linking simple numerical data sets via a single correlation coefficient R. Correlation of complex evidences that involves structured objects, text and data in a variety of discrete and continuous scales (nominal, order, absolute and so on) requires development of a new technique. Complexity of this task dictates the need to com...
متن کاملCompiling Causality into Action Theories
This paper is concerned with the problem of representing the eeects of actions. We argue that the traditional minimal change principle is problematic to represent ramiications of actions that are related to the causality of the domain. To handle this problem properly, it is necessary to describe the causal relations of the domain explicitly and compile the domain causality into action theories....
متن کاملFrom Covariation to Causation: A Causal Power Theory
Because causal relations are neither observable nor deducible, they must be induced from observable events. The 2 dominant approaches to the psychology of causal induction—the covariation approach and the causal power approach—are each crippled by fundamental problems. This article proposes an integration of these approaches thai overcomes these problems. The proposal is that reasoners innately...
متن کاملExperimental Comparison of CP-Logic Theory Inference Methods
In many applications, the goal is to model the probability distribution of a set of random variables that are related by a causal process, that is, the variables interact through a sequence of nondeterministic or probabilistic events. Causal Probabilistic Logic (CP-logic) (Vennekens et al., 2006) is a probabilistic logic modeling language that can model such processes. The model takes the form ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005